Order:
  1.  24
    Word problems for bidirectional, single-premise Post systems.Charles E. Hughes & David W. Straight - 1980 - Notre Dame Journal of Formal Logic 21 (3):501-508.
  2.  37
    (1 other version)Dominof-Sets.David W. Straight - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):235-249.
    Direct download  
     
    Export citation  
     
    Bookmark